Skip to content

chore: Use purrr#421

Merged
krlmlr merged 2 commits intomainfrom
f-purrr
May 3, 2025
Merged

chore: Use purrr#421
krlmlr merged 2 commits intomainfrom
f-purrr

Conversation

@krlmlr
Copy link
Copy Markdown
Member

@krlmlr krlmlr commented May 2, 2025

No description provided.

@krlmlr krlmlr enabled auto-merge (squash) May 2, 2025 13:33
@krlmlr krlmlr merged commit 2fdc77d into main May 3, 2025
10 of 13 checks passed
@krlmlr krlmlr deleted the f-purrr branch May 3, 2025 16:07
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators May 4, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant